逻辑覆盖法不包括( )。